Integrated Verification of Open Source Software for Intelligent Manipulation

نویسندگان
چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Open Source Software for Entertainment

In this tutorial, we explore open source software practices and tools that are suitable for a growing number of creators of interactive and playful systems. The introduction of open source tools such as Processing and Arduino has motivated a broader participation of technical and non-technical users in the creative production of interactive systems. Maker communities meet regularly and they sha...

متن کامل

A Robust Open Source Exchange for Open Source Software Development

This paper addresses the development of mechanisms for the creation of OSSD exchanges that could be used by developers across any geographical range, as long as all the developers can interact via some open network infrastructure such as the Internet. The structure of these exchanges can range from public repositories such as Sourceforge.net to intra-organizational forums for software developme...

متن کامل

Open-source Security Software Security for Open-source Systems

S ome people have claimed that open-source software is intrinsically more secure than closed source, 1 and others have claimed that it's not. 2 Neither case is absolutely true: they are essentially flip sides of the same coin. Open source gives both attackers and defenders greater analytic power to do something about software vulnerabilities. If the defender does nothing about security, though,...

متن کامل

Ixi Software: Open controllers for Open Source audio Software

Sound has been liberated. The 20th century freed music from various compositional constraints and ideologies, and during the last decade we have witnessed a transformation in the way sound is organized in terms of composition, production, distribution and consumption. This paper is concerned with the production part of this complex structure and will describe some of the ideas, experiments and ...

متن کامل

Open Source Software Release: A Guideline for the Publication of Software under the Open Source Status1

In the past few years, Open Source (OS) has become a topic for a far more heterogeneous community for both users and developers than it was before. Simultaneously, commercial aspects have gained a broad interest within the field of OS. More and more OS releases arise. Releasing sources under an OS license touches many different technical, legal, business and project management aspects. We devel...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Journal of the Robotics Society of Japan

سال: 2013

ISSN: 0289-1824,1884-7145

DOI: 10.7210/jrsj.31.41